Trefferliste "Verification Tools" - alle Bücher

Ihre Suche nach "Verification Tools" (Bücher) ergab 1 Treffer.

Model Checking Software

Lecture Notes in Computer Science - Band 14624

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers,…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 54,75* Aktueller Preis: EUR 54,75

Artikel merken

In den Warenkorb

Menge ändern